1

Generating Model Checkers from Algebraic Specifications

Year:
2002
Language:
english
File:
PDF, 298 KB
english, 2002
2

Using Model Checking in a Parallelizing Compiler

Year:
1998
Language:
english
File:
PDF, 2.95 MB
english, 1998